AFRL-OSR-VA-TR-2013-0164 Survivable Software

The Survivable Software framework (SSW), developed under award AFOSR FA955009-1-0481, uses a synergistic combination of (1) compiler-assisted, aspect-oriented program instrumentation, (2) software monitoring with overhead control, (3) runtime verification with state estimation, and (4) adaptive runtime verification to closely monitor high-criticality monitor instances, thereby increasing the probability of violation detection and concomitantly allowing for appropriate repair and recovery actions to be initiated. Applications include online and offline analysis of operating system kernellevel concurrency, and the analysis of NASA space-mission software. This final report discusses each of these key components of the Survivable Software framework, and highlights project accomplishments on a year-by-year basis, including the production of three PhD dissertations.